Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
391	3590/3590E VOL-SER Label and Initialization Ordering Instructions Add to Reading List Source URL: www.fujifilmusa.com Language: English - Date: 2006-09-14 19:11:48 Acronyms Software engineering C Programming language theory Procedural programming languages Computing ASCII
392	A Guide to VLISP, A Veried Programming Language Implementation J. D. Guttman L. G. Monk Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:41 Procedural programming languages Programming language implementation Logic in computer science PreScheme Scheme programming language Compiler construction Programming language Compiler Denotational semantics Software engineering Computing Programming language theory
393	New Features in Spectrum WriterThe major new features in releaseof Spectrum Writer are: the ability to create multiple reports in a single run (page 1) the ability to normalize records as a means of wor Add to Reading List Source URL: www.pacsys.com Language: English - Date: 2007-05-10 07:55:56 Programming language theory Logical Unit Number C ALGOL 68 Record Sort Database index Computing Software engineering Procedural programming languages
394	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
395	Subtyping in Alloy by Emina Torlak Submitted to the Department of Electrical Engineering and Computer Science in Partial Fulfillment of the Requirements for the Degree of Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Programming language theory Data types Object-oriented programming Polymorphism Alloy Z notation Type system Subtype polymorphism Daniel Jackson Software engineering Type theory Computing
396	Fusing a Transformation Language with an Open Compiler Karl Trygve Kalleberg 1 Department of Informatics, University of Bergen, P.O. Box 7800, N-5020 BERGEN, Norway Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2007-10-01 14:24:18 Programming language implementation Compiler construction Transformation languages Stratego/XT ASF+SDF Meta Environment Compiler Program transformation Type system Stratego Computing Software engineering Programming language theory
397	§1 1. VALVE INTRODUCTION Add to Reading List Source URL: www.fourmilab.ch Language: English - Date: 2004-12-17 09:39:35 C POSIX library Procedural programming languages C Standard Library Printf format string Getopt Write Standard streams C ALGOL 68 Computing Computer programming Programming language theory
398	Tools and Technology (T2) Examples December 2014 Introduction The tools and technology (T2) file provides information on tools, information technology, software, equipment, and machines that workers need to perform succe Add to Reading List Source URL: webdata.xwalkcenter.org Language: English - Date: 2014-12-19 08:35:25 United Nations Development Programme Procedural programming languages Software engineering Delimiter-separated values C Programming language theory Computing Dun & Bradstreet UNSPSC
399	Matching [for] the Lambda Calculus of Objects ? Viviana Bono 1 Dipartimento di Informatica, Universit` a di Torino C.so Svizzera 185, ITorino, Italy e-mail: Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 06:35:07 Programming language theory Data types Models of computation Program analysis Type system Subtype polymorphism Symbol Lambda calculus Eval Software engineering Type theory Computing
400	Super DLTtape VOL-SER Label Ordering Instructions In order to avoid delays in processing your label order, please follow the ordering instructions outlined below. All required fields must be completed. Add to Reading List Source URL: www.fujifilmusa.com Language: English - Date: 2006-09-14 19:11:48 C Software engineering Programming language theory Computing Nintendo Entertainment System DEC Alpha

UPDATE